/*
  The <stdio.h> header file defines some i/o functions in kernel space
 */

#ifndef _STDIO_H
#define _STDIO_H

#include <types.h>

int putchar(int c);
void clear(void);

#endif /* _STDIO_H */
